<?php
//000000086400s:12:"37905681.509";
?>